Representing and Reasoning about Commitments in Business Processes
نویسندگان
چکیده
A variety of business relationships in open settings can be understood in terms of the creation and manipulation of commitments among the participants. These include B2C and B2B contracts and processes, as realized via Web services and other such technologies. Business protocols, an interactionoriented approach for modeling business processes, are formulated in terms of the commitments. Commitments can support other forms of semantic service composition as well. This paper shows how to represent and reason about commitments in a general manner. Unlike previous formalizations, the proposed formalization accommodates complex and nested commitment conditions, and concurrent commitment operations. In this manner, a rich variety of open business scenarios are enabled.
منابع مشابه
An Experiment in Formalizing Commitments Using Action Languages
This paper investigates the use of high-level action languages for representing and reasoning about commitments in multiagent domains. The paper introduces the language Lmt with features motivated by the problem of representing commitments; in particular, it shows how Lmt can handle both simple commitment actions and complex commitment protocols. The semantics ofLmt provides a uniform solution ...
متن کاملFormalizing Commitments Using Action Languages
This paper presents an action language, calledL, for representing and reasoning about commitments in multi-agent domains. The language is an extension of the language L, with new features motivated by the problem of representing and reasoning about commitments. These features include time, delayed effects, ir/reversible effects, concurrent actions, and multi-agents, for specifying and reasoning...
متن کاملRepresenting and reasoning about communicative conditional commitments
Social commitments provide a powerful representation for modeling multi-agent interactions without relinquishing part of agents autonomy and flexibility. However, distinguishing between different but related types of conditional commitments, a natural frame of social commitments, is not considered yet. In this paper, we define a new logical language, CTL, which extends CTL with modalities to re...
متن کاملA REC-Based Commitment Tracking Tool
Social commitments are commitments made from an agent to another agent to bring about a certain property. In broad terms, a social commitment represents the commitment that an agent, called debtor, has towards another agent, called creditor, to bring about some property or state of affairs, which is the subject of the commitment. Commitments are a well-known concept in Multi-Agent Systems (MAS)...
متن کاملFormalising Workflow: A CCS-inspired Characterisation of the YAWL Workflow Patterns
We present work concerning the formal specification of business processes. It is of substantial benefit to be able to pin down the meaning of business processes precisely. This is an end in itself, but we are also concerned to do so in order that we might prove properties about the business processes that are being specified. It is a notable characteristic of most languages for representing bus...
متن کامل